A gradual type system for Elixir

Elixir is a functional programming language with dynamic typing. We propose gradual type system that makes it possible to perform type-checking on significant fragment of the language. An important feature does not require any syntactic change Elixir. Type information provided by means function signatures which are declared in terms typespec directives. The proposed based subtyping and backward compatible, as allows presence untyped code fragments. have prototype implementation type-checker itself formalization Idris considered.